|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Model Advisor Report - untitled | |
| Simulink version: 10.7 | Model version: 1.0 |
| System: untitled | Current run: 21-Jun-2023 22:21:15 |
| Treat as Referenced Model: off | |
| Incomplete | Failed | Warning | Justified | Passed | Not Run | Total | |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
2217 |
Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.
Passed
No Simscape blocks with ambiguous unit setting found in the model.
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Names defined as keywords must not be used
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Open Keywords File | N/A |
The use of capital letters in object names must be clear and consistent across the project
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| alllowercase | |
| Ignore prefix | false |
Names that exceed the defined maximum name length must be avoided
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum acceptable length | 32 |
Check if function blocks have comments
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
Nesting of multiline comments must be avoided
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
The number of input variables, output variables, and in-out variables of a POU should be within a limited set
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum number of I/O variables | 20 |
Check models for edited Model History property values
Check that parameters in the Model Properties dialog History pane use the default tags. In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Any information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is never updated again. The Model Properties History pane and any Model Info blocks in your model show stale information from then on.
Passed
This model uses the default value for property ModifiedByFormat.
Passed
This model uses the default value for property ModifiedDateFormat.
Passed
This model uses the default value for property ModelVersionFormat.
Check optimization settings
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Use bitsets for storing state configuration (StateBitsets) | off | on |
| Warning | Use bitsets for storing Boolean data (DataBitsets) | off | on |
Check the model for blocks configured for one-based indexing
Passed
All blocks in the model use zero-based indexing.
_________________________________________________________________________________________
Identify logic blocks that are outputting non-Boolean data types.
Passed
There are no logic blocks in the model or subsystem.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify configuration parameters that might impact secure coding standards compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Warning
To check for upgrade issues, open the Upgrade Advisor.
Recommended Action
Click the link below to close the Model Advisor and open the Upgrade Advisor for untitled.
Open the Upgrade Advisor
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Simulink
| Block Type | Count |
|---|---|
| SimscapeBlock | 2 |
Model complexity information
Display name, level, and depth of subsystems
No subsystems found.
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: untitled
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Simulink
| Block Type | Count |
|---|---|
| SimscapeBlock | 2 |
Model complexity information
Display name, level, and depth of subsystems
No subsystems found.
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: untitled
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Simulink
| Block Type | Count |
|---|---|
| SimscapeBlock | 2 |
Model complexity information
Display name, level, and depth of subsystems
No subsystems found.
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: untitled
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Simulink
| Block Type | Count |
|---|---|
| SimscapeBlock | 2 |
Model complexity information
Display name, level, and depth of subsystems
No subsystems found.
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: untitled
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Simulink
| Block Type | Count |
|---|---|
| SimscapeBlock | 2 |
Model complexity information
Display name, level, and depth of subsystems
No subsystems found.
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: untitled
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of library links in the model or subsystem.
Passed
| Component | Library Links |
|---|---|
| untitled | 2 |
Display number of effective lines of MATLAB code.
No metric data available. Nothing to report for this metric.
Passed
Display number of Stateflow objects in each chart.
No metric data available. Nothing to report for this metric.
Passed
Display number of code lines for Stateflow blocks.
No metric data available. Nothing to report for this metric.
Passed
Display non-descriptive names of Inport, Outport and Subsystem blocks.
Passed
| Component | Nondescriptive Names |
|---|---|
| untitled | 0 |
Display data and structure layer separation, defined by MAB modeling guideline db_0143.
Passed
| Component | Non-conforming Blocks |
|---|---|
| untitled | 0 |
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Check length of signal and bus names
Passed
All signal and bus names are valid.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify diagnostic parameters that are set to none.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error, warning |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error, warning |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error, warning |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error, warning |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error, warning |
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Debug > Information Overlays > Show All Links | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Passed
All canvases have a zoom factor of 100 percent.
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Identify whether to display block names.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Passed
All blocks with obvious behavior have hidden names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Passed
All displayed names provide descriptive information.
Identify blocks that use and fail to display nondefault values.
Passed
Model displays all block parameter values that are not default values.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Identify unconnected signal lines, subsystems and basic blocks.
Passed
All signal lines and blocks in the model are connected.
Identify intersections and overlaps of signals in a model.
Passed
No signal intersections or overlaps found.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Passed
All blocks that require labeled sources have labeled signals.
Identify incorrect signal propagation.
Passed
All subsystems and connection blocks display propagated signals.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Check if tunable block parameters are defined as named constants
Passed
All tunable block parameters are defined as named constants
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify states which are the only substate within a state with OR(exclusive) type decomposition.
Passed
All states with OR(exclusive) type decomposition have more than one substate.
Substates of parallel states should not be parallel states.
Passed
All Stateflow Charts pass the check.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Internal transition lines should start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
State actions and flow charts should not be combined in states.
Passed
No Stateflow states were found that combine state action and flow chart.
Identify transitions in Stateflow flow charts that are drawn incorrectly.
Passed
All Stateflow transitions in flow charts are drawn correctly.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.
Passed
All state entries found are correctly formatted.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state.
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify MATLAB Functions with high number of effective lines of code.
Passed
No MATLAB Function found with high number of effective lines of code.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Debug > Information Overlays > Show All Links | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Passed
All canvases have a zoom factor of 100 percent.
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify whether to display block names.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Passed
All blocks with obvious behavior have hidden names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Passed
All displayed names provide descriptive information.
Identify blocks that use and fail to display nondefault values.
Passed
Model displays all block parameter values that are not default values.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify unconnected signal lines, subsystems and basic blocks.
Passed
All signal lines and blocks in the model are connected.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Passed
All blocks that require labeled sources have labeled signals.
Identify incorrect signal propagation.
Passed
All subsystems and connection blocks display propagated signals.
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Check if tunable block parameters are defined as named constants
Passed
All tunable block parameters are defined as named constants
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.
Passed
No operation blocks found that directly specify the 'Output data type' parameter.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Identify intersections and overlaps of signals in a model.
Passed
No signal intersections or overlaps found.
Identify variant subsystems which use multi-variable compound conditions.
Passed
No variant subsystems with multiple variable compound conditions found
Identify transitions in Stateflow flow charts that are drawn incorrectly.
Passed
All Stateflow transitions in flow charts are drawn correctly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.
Passed
All state entries found are correctly formatted.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.
Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
State actions and flow charts should not be combined in states.
Passed
No Stateflow states were found that combine state action and flow chart.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Internal transition lines should start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
Substates of parallel states should not be parallel states.
Passed
All Stateflow Charts pass the check.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state.
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Usage of Simulink Functions in Stateflow.
Passed
All Simulink Functions in Stateflow are defined according to the guideline.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Check length of signal and bus names
Passed
All signal and bus names are valid.
Identify data names with invalid characters in MATLAB Functions.
Passed
All the data names in MATLAB Functions use valid characters.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Debug > Information Overlays > Show All Links | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Passed
All canvases have a zoom factor of 100 percent.
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify whether to display block names.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Passed
All blocks with obvious behavior have hidden names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Passed
All displayed names provide descriptive information.
Identify blocks that use and fail to display nondefault values.
Passed
Model displays all block parameter values that are not default values.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify unconnected signal lines, subsystems and basic blocks.
Passed
All signal lines and blocks in the model are connected.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Passed
All blocks that require labeled sources have labeled signals.
Identify incorrect signal propagation.
Passed
All subsystems and connection blocks display propagated signals.
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Check if tunable block parameters are defined as named constants
Passed
All tunable block parameters are defined as named constants
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.
Passed
No operation blocks found that directly specify the 'Output data type' parameter.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Identify intersections and overlaps of signals in a model.
Passed
No signal intersections or overlaps found.
Identify variant subsystems which use multi-variable compound conditions.
Passed
No variant subsystems with multiple variable compound conditions found
Checks If blocks for complex usage of primary expressions within a logical expression
Passed
Logical expressions inside If blocks are simple
na_0036: Default variant
Identify variant subsystems that do not use default variants.
Passed
All variant subsystems in the model use default variants
Identify blocks, block names, signal lines, signal labels, annotations, or block annotations that overlap or intersect visibly.
Passed
No blocks, block names, signal lines, signal labels, annotations, or block annotations overlap or intersect
Identify transitions in Stateflow flow charts that are drawn incorrectly.
Passed
All Stateflow transitions in flow charts are drawn correctly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.
Passed
All state entries found are correctly formatted.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.
Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
State actions and flow charts should not be combined in states.
Passed
No Stateflow states were found that combine state action and flow chart.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Internal transition lines should start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
Substates of parallel states should not be parallel states.
Passed
All Stateflow Charts pass the check.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Usage of Simulink Functions in Stateflow.
Passed
All Simulink Functions in Stateflow are defined according to the guideline.
Identify states which are the only substate within a state with OR(exclusive) type decomposition.
Passed
All states with OR(exclusive) type decomposition have more than one substate.
na_0039: Limitation on Simulink functions in Chart blocks
Check use of Stateflow charts nested inside Simulink functions used in Stateflow.
Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.
Identify transition line arrowhead not set to size specified by the project setting
Passed
All transition line arrowhead set to size specified by the project setting.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Identify multiple execution statements that are written in a single line and end without a semicolon.
Passed
All execution statements are written in new lines and end with a semicolon.
Identify single-byte spaces between function or variable names and left parenthesis symbol.
Passed
No spaces between function or variable names and left parenthesis symbol.
Identify expressions that contain operators with different priorities but do not specify clear operator precedence using parentheses.
Passed
All expressions containing operators with different priorities specify clear operator precedence using parentheses.
Check for correct placement of relational operator operands.
Passed
All relational operator usage is valid.
Identify missing spaces before or after binary operators or after commas.
Identify invalid spaces between unary operators and operands.
Passed
All expressions have a space before and after binary operators and after commas, and no space between unary operators and operands.
Identify non-empty statements that do not have any effect or do not change the control flow.
Passed
All non-empty statements have a side-effect or change the control flow.
Be sure to assign the return value of functions to a variable before using it.
Passed
Return value of all functions used was assigned to a variable before using it.
Identify functions without a function header.
Passed
All functions have a function header.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Identify usage of non-constant variables in Switch/Case statements.
Passed
Non-constant variables are not used as Switch/Case arguments